obj-y	+= arch_virt.o
obj-y	+= smc_service.o 
obj-y	+= svc_service.o
obj-y	+= trap.o
obj-y	+= vmsa.o
obj-y	+= vtimer.o
obj-y	+= vfp.o
